4

Error Estimation of Perturbations Under CRI

Année:
2006
Langue:
english
Fichier:
PDF, 299 KB
english, 2006
19

A Model in κ for DNA Addition

Année:
2007
Langue:
english
Fichier:
PDF, 325 KB
english, 2007
20

On the expressiveness of interaction

Année:
2010
Langue:
english
Fichier:
PDF, 3.82 MB
english, 2010
21

Understanding the mismatch combinator in chi calculus

Année:
2003
Langue:
english
Fichier:
PDF, 376 KB
english, 2003
22

Tau laws for pi calculus

Année:
2003
Langue:
english
Fichier:
PDF, 1.32 MB
english, 2003
23

Variations on mobile processes

Année:
1999
Langue:
english
Fichier:
PDF, 2.04 MB
english, 1999
24

A functional presentation of Pi calculus

Année:
2001
Langue:
english
Fichier:
PDF, 885 KB
english, 2001
27

Symmetric π-calculus

Année:
1998
Langue:
english
Fichier:
PDF, 433 KB
english, 1998
28

Constructive sets in computable sets

Année:
1997
Langue:
english
Fichier:
PDF, 893 KB
english, 1997
29

Reaction graph

Année:
1998
Langue:
english
Fichier:
PDF, 1.03 MB
english, 1998
30

Structures definable in polymorphism

Année:
1998
Langue:
english
Fichier:
PDF, 558 KB
english, 1998
31

Relative properties of frame language

Année:
1999
Langue:
english
Fichier:
PDF, 491 KB
english, 1999
32

Semantics of constructions (I) — The traditional approach

Année:
2001
Langue:
english
Fichier:
PDF, 832 KB
english, 2001
33

Testing congruence for mobile processes

Année:
2002
Langue:
english
Fichier:
PDF, 652 KB
english, 2002
34

Semantics of constructions (II) — The initial algebraic approach

Année:
2001
Langue:
english
Fichier:
PDF, 592 KB
english, 2001
35

Fair ambients

Année:
2007
Langue:
english
Fichier:
PDF, 886 KB
english, 2007
38

On quasi-open bisimulation

Année:
2005
Langue:
english
Fichier:
PDF, 358 KB
english, 2005
42

Bisimulation congruence of chi calculus

Année:
2003
Langue:
english
Fichier:
PDF, 247 KB
english, 2003